Tree Automata

Decidable First-Order Transition Logics for PA-Processes

Model Checking / First-Order Logic / Tree Automata / Parallel Systems